include cmdline.e namespace cmdline public constant ONCE
This option switch must only occur once on the command line. See cmd_parse